event-info(ds;da) == k:Knd  (:decl-state(ds)  fpf-cap(da; Kind-deq; k; top)) 

latex

Definitions	Knd, decl-state(ds), fpf-cap(f; eq; x; z), Kind-deq, top
FDL editor aliases	event-info